Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
371	95 Homotopy type theory ´ Alvaro Pelayo1 , Michael A. Warren2 Add to Reading List Source URL: smf4.emath.fr Language: English - Date: 2014-10-17 09:03:44 Abstract algebra Homotopy type theory Homotopy Groupoid Function Fundamental group Model category Curry–Howard correspondence Type theory Mathematics Homotopy theory Topology
372	Overload issue 56 august[removed]contents credits & contacts Add to Reading List Source URL: accu.org Language: English - Date: 2006-09-01 17:33:04 C++ Object-oriented programming Method Virtual function Multiple dispatch Constant Parser combinator Property Run-time type information Software engineering Computer programming Computing
373	DIRK GREIMANN Is Zalta’s Individuation of Intensional Entities Circular?* A ccording to Quine’s influential critique of intensional semantics, properties and propositions are “twilight half-entities” lacking a s Add to Reading List Source URL: metaphysica.de Language: English - Date: 2006-02-07 06:43:03 Ontology Sortal Principle of individuation Individuation Mereology Type theory Property Function Mathematics Philosophy Mathematical logic
374	Cantorian Abstraction: A Reconstruction and Defence In section 1 of his Beitragei, Cantor explains the notion of cardinal number: We will call by the name "power" or "cardinal number" of M the general concept which, by m Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-08-24 10:29:34 Type theory Formal methods Function Set theory Cardinal number Expected value Infinity Interpretation New Foundations Mathematics Elementary mathematics Variables
375	EUSFLAT - LFA[removed]Protein Structure Comparison through Fuzzy Contact Maps and the Universal Similarity Metric David Pelta Juan Ram´ Add to Reading List Source URL: www.eusflat.org Language: English - Date: 2011-12-12 02:22:57 Science Protein contact map Fuzzy control system Fuzzy set STING Protein family Protein structure Membership function Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic
376	LAB 2 Polar coordinates- In this lab we are going to consider graphs of the following type : Obviously there are no functions (at least not in rectangular coordinates) which describe these graphs. Even though Add to Reading List Source URL: calculus7.com Language: English - Date: 2008-07-23 20:20:16 Charts Mathematics Algebraic geometry Polar coordinate system Cartesian coordinate system Graph of a function Spherical coordinate system Plot Coordinate systems Geometry Analytic geometry
377	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 14, A Simple Mechanism for Type Security Across Compilation Units MICHAEL L. SCOTT Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2004-06-23 16:50:23 Data types Hashing Search algorithms Error detection and correction Hash function Pointer Cryptographic hash function C Array data type Computing Software engineering Computer programming
378	A SIMPLE MECHANISM FOR TYPE SECURITY ACROSS COMPILATION UNITS by Michael L. Scott Raphael A. Finkel Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-03-26 00:09:34 Data types Error detection and correction Hashing Procedural programming languages Search algorithms Hash function C Pascal Forward declaration Computing Software engineering Computer programming
379	Dynamic Systems and Applications[removed]394 IMPROVEMENTS OF COMPOSITION RULE FOR THE CANAVATI FRACTIONAL DERIVATIVES AND APPLICATIONS TO OPIAL-TYPE INEQUALITIES ´ J. PECARI Add to Reading List Source URL: bib.irb.hr Language: English - Date: 2011-11-16 05:47:22 Symbol Meijer G-function Measure theory Commutative algebra Localization
380	Instance Chains: Type Class Programming Without Overlapping Instances J. Garrett Morris Mark P. Jones Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2010-08-03 11:56:21 Computing Data types Functional languages Model theory Functional programming Type class Function Type system Tagged union Software engineering Type theory Programming language theory

UPDATE